Algorithm engineering - PDFSEARCH.IO - Document Search Engine

Algorithm engineering
Results: 1680

#	Item
831	PDF Document Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2013-04-13 14:11:59 Programming paradigms Models of computation Notation Programming language Abstraction Algorithm Finite-state machine Operating system Spreadsheet Computing Software engineering Computer programming
832	Space Cost Analysis Using Sized Types A thesis to be submitted to the UNIVERSITY OF ST ANDREWS for the degree of DOCTOR OF PHILOSOPHY Add to Reading List Source URL: www.ncc.up.pt Language: English - Date: 2008-09-16 10:35:38 Algorithm Mathematical logic Theoretical computer science Thesis Hume Functional programming Programming language Doctor of Philosophy Type theory Computing Software engineering Education
833	INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING Int. J. Numer. Meth. Engng[removed]Published online in Wiley Online Library (wileyonlinelibrary.com). DOI: [removed]nme.4748 Data-driven model reduction for the Ba Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-10-06 09:25:06 Markov models Computational statistics Bayesian statistics Markov chain Monte Carlo Bayesian inference Estimation theory Markov chain Metropolis–Hastings algorithm Monte Carlo integration Statistics Monte Carlo methods Statistical inference
834	EOFDM_CONFERENCE_2013_WG-B Add to Reading List Source URL: easa.europa.eu Language: English - Date: 2014-04-13 15:28:48 Research Working group C Algorithm Programming language theory Computing Procedural programming languages Software engineering
835	Department of Computer Science and Software Engineering 2012 Departmental Postgraduate Conference August 23-24, 2012 Lecture Theatre 031, Erskine Building Add to Reading List Source URL: www.cosc.canterbury.ac.nz Language: English - Date: 2014-07-15 23:15:32 Cybernetics Wireless networking Wireless sensor network Graph theory Algorithm Machine learning Telogis Inc. Augmented reality Shortest path problem Mathematics Applied mathematics Reality
836	VIIRS Sea Ice Characterization EDR and Ice Concentration IP Release, Provisional Data Quality Last Updated: Read-me for Data Users The Joint Polar Satellite System (JPSS) Algorithm Engineering Review Board app Add to Reading List Source URL: www.class.ncdc.noaa.gov Language: English - Date: 2014-02-13 15:14:45 Physical geography Sea ice Aquatic ecology Climate Remote sensing Cryosphere Joint Polar Satellite System European Drawer Rack Ice Earth Glaciology Water
837	Department of Electrical and Computer Systems Engineering Technical Report MECSE Add to Reading List Source URL: www.eganfamily.id.au Language: English - Date: 2007-09-25 10:07:14 Routing algorithms OSI protocols Computing Routing Geographic routing Network topology Wireless sensor network Temporally-ordered routing algorithm Link-state routing protocol Wireless networking Routing protocols Network architecture
838	An Operational Semantics for Network Datalog Vivek Nigam1 , Limin Jia2 , Anduo Wang1 , Boon Thau Loo1 , Andre Scedrov1 1 University of Pennsylvania, Philadelphia, USA Carnegie Mellon University, Pittsburgh, USA Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Data management Programming paradigms Datalog Logic programming Predicate Algorithm SQL FO Query languages Computing Software engineering
839	An association-based model of dynamic behaviour For the workshop on Free Composition at ECOOPThe proceedings were published by the ACM digital library. Ian Piumarta Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:15:06 K1 K2 Software engineering Reference Computing Computer programming Karakoram Tiny Encryption Algorithm University of Cambridge Computer Laboratory
840	SUOMI NPP EDR Product Provisional Readiness Review for Soundings, Ozone, VIIRS Cloud Mask and Non-NCC Imagery Add to Reading List Source URL: www.orbit.nesdis.noaa.gov Language: English - Date: 2014-01-13 11:11:01 Clinical research Pharmaceutical industry Validation Validity European Drawer Rack Cryosphere Systems engineering process Algorithm Physical geography Earth Quality Science

UPDATE